Verification condition generator
[計] 驗證條件生成程序
?? 詞語組成解析
n. 證明;證實;<哲>(指通過經驗)證明(某命題正確);核實;
n. 狀態;環境;健康狀況;條款;
vt. 制約;限制;使習慣于;使適應;
vt.& vi. 對…具有重要影響;影響(某事發生的方式);保持(頭發或皮膚等的)健康;養護;
con共同+dit給予+ion抽象名詞→共同給出的東西 → 條件
n. 發電機,發生器;電力公司;生產者,創始者;[樂]基礎低音;
gener出生,產生+ator表名稱,物→產生[電]的東西→發電機
??? 情景例句
It's nice to meet you.
很高興見到你 。
The insect is trapped in the spider's web.
蜘蛛捕捉纏在網上的昆蟲。
Two main techniques have been used for training elephants,
馴象有兩種主要的方法,
更多情景英語 ›